/**
 * \file traits.hpp
 * 
 * \section COPYRIGHT
 *
 * Basis: A 3D Mathematics Library
 *
 * ---------------------------------------------------------------------
 *
 * Copyright (c) 2010, Don Olmstead
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 *  1. Redistributions of source code must retain the above copyright notice,
 *     this list of conditions and the following disclaimer.
 *
 *  2. Redistributions in binary form must reproduce the above copyright notice,
 *     this list of conditions and the following disclaimer in the documentation
 *     and/or other materials provided with the distribution.
 *
 *  3. Neither the name of organization nor the names of its contributors may be
 *     used to endorse or promote products derived from this software without
 *     specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED
 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
 * EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
 * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
 * ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

#ifndef BASIS_DETAIL_TRAITS_HPP_INCLUDED
#define BASIS_DETAIL_TRAITS_HPP_INCLUDED

namespace basis { namespace detail
{
	/**
	 * A scalar type.
	 *
	 * Used to differentiate arrays and scalars within
	 * the expression templates.
	 *
	 * \tparam T A scalar type.
	 */
	template <typename T>
	class scalar_storage;

	/**
	 * A type trait.
	 *
	 * \tparam T A type.
	 */
	template <typename T>
	class traits
	{
		public:

			/// A constant reference to the type
			typedef const T& const_reference;
	} ;

	/**
	 * A type trait.
	 *
	 * Specialized for scalar types.
	 *
	 * \tparam T A scalar type.
	 */
	template <typename T>
	class traits<scalar_storage<T> >
	{
		public:

			/**
			 * A constant reference to the type.
			 *
			 * Should be the value type for this case.
			 */
			typedef scalar_storage<T> const_reference;
	} ;

} } // end namespace basis::detail

#endif // end BASIS_DETAIL_TRAITS_HPP_INCLUDED
